ISO/IEC JTC1/SC22/WG5 N1702 Rationale for Co-Arrays in Fortran 2008 Aleksandar Donev 20th September 2007 Abstract

Source URL: caf.rice.edu

© ISO 2014 — All rights reserved ISO/IEC JTC 1/SC 22/WG 21 N4100 Date: ISO/IEC DTSISO/IEC JTC1 SC22

Source URL: www.open-std.org

Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG WDS Date:

Source URL: appsrv.cse.cuhk.edu.hk

© ISO 2015 — All rights reserved ISO/IEC JTC 1/SC 22/WG 21 N4514 Date: ISO/IEC JTC1 SC22

Source URL: www.open-std.org

Universal Multiple-Octet Coded Character Set UCS ISO/IEC JTC1/SC2/WG2 IRG N 1233 Date: Doc. Type: Member body contribution Title: Request to remove one T-source character f

Source URL: appsrv.cse.cuhk.edu.hk

Proposal to Add Decimal Floating Point Support to C++ (revision 2) Document: ISO/IEC JTC1 SC22 WG21 N3871 Date: 2014–01–19 Revises: ISO/IEC JTC1 SC22 WG21 N3407=12–0097

Source URL: www.bloomberglabs.com

Joint Collaborative Team on Video Coding (JCT-VC) of ITU-T SG16 WP3 and ISO/IEC JTC1/SC29/WG11 2nd Meeting: Geneva, CH, 21-28 July, 2010 Document: JCTVC-B021 Title: New intra chroma prediction using inter-channel correl

Source URL: wftp3.itu.int

• Data compression
• Video
• Computing
• High-definition television
• ISO standards
• Video compression
• Videotelephony
• High Efficiency Video Coding
• Chroma subsampling
• Frequency modulation

Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995

Source URL: ect.bell-labs.com

• Software engineering
• Computing
• Computer programming
• Type theory
• Procedural programming languages
• Process calculi
• Data types
• Synchronization
• Language Of Temporal Ordering Specification
• Standard ML
• E-LOTOS
• ML

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

INTERNATIONAL ORGANISATION FOR STANDARDISATION ORGANISATION INTERNATIONALE DE NORMALISATION ISO/IEC JTC1/SC29/WG11 CODING OF MOVING PICTURES AND AUDIO ISO/IEC JTC1/SC29/WG11 MPEG2014/M31954 January 2014, San Jose, US

Source URL: www.prolight-iapp.eu